$\forall$${\it nms}$:(MaName List). Rnone()$\mid$${\it nms}$ = Rnone() $\in$ Realizer